Distributed Coordination of Mobile Robots Using RFID Technology

Radio Frequency IDentification is a promising technology for realizing distributed knowledge databases of the further. The proposed RFID database solution provides a cheap and feasible solution for indoor navigation, long term information storage and exchange between autonomous mobile devices and/or humans. For device interoperability it is proposed in the paper to organize data stored on tags using methods known in the semantic web research. The timeline scalability of the given solution is demonstrated on a cleaning robots swarm example, which is formally proved using a model checking technique. Key-words: distributed knowledge, intelligent agent, mobile robot, formal verification, semantic web, rfid